R-realizes{i:l}
R-realizes(R; es.P(es))
== R-Feasible{i:l}(R)  (es:event_system{i:l}. R-consistent(R; es)  P(es)) 

latex

Definitions	P  Q, R-Feasible{i:l}(R), x:A. B(x), event_system{i:l}, P  Q, R-consistent(R; es)
FDL editor aliases	R-realizes